PyDigger - unearthing stuff about Python


NameVersionSummarydate
py-tree-sitter-spthy 1.2.1 Tree-sitter parser for Spthy language (Tamarin Prover) 2025-07-30 09:33:39
hourdayweektotal
86230910466305163
Elapsed time: 1.94667s